Process Algebra

A Reduction Algorithm Based on Process Algebra for Security Protocol Verification

一种基于进程代数的安全协议验证消解算法

Security Process Algebra forms a basis for secure information flow theory .

安全进程代数可以作为信息流安全的基础理论框架。

Information Flow Models Based on Security Process Algebra

基于安全进程代数的信息流模型

Analysis and Verification of Security Protocols Based on Process Algebra

基于进程代数的安全协议分析与验证

Optimization of engineering equipment maintenance based on process algebra

基于过程代数的工程装备维修流程优化方法

Research on behavioral consistency of component dynamic evolution based on process algebra

基于进程代数的构件动态演化行为一致性研究

A Survey of Security Protocol Verification Based on Process Algebra

基于进程代数安全协议验证的研究综述

Research on Formal Methods of Web Service Data and Service Composition Based on Process Algebra

基于进程代数的Web服务数据和组合的形式化方法研究

Modeling security software architecture based on process algebra

基于进程代数的安全软件体系结构建模

Based on Stochastic Process Algebra Overlay Network QoS Performance Evaluation

基于随机进程代数的Overlay网络上的QoS性能评价

Temporal Logic Approach on Modeling and Analysis of Workflow with Process Algebra Style

一种进程代数风格的基于时序逻辑的工作流建模方法

Process algebra based intelligent robot system modelling

基于过程代数的智能机器人系统建模

Formal Method on Network Architecture Modeling and Performance Evaluation-Stochastic Process Algebra

网络体系结构建模和性能评价的形式化方法&随机进程代数

Activity-attribute flow chart and process algebra based approach for business process expression

基于流程图及过程代数的流程表达方法

Abstract Security Properties in Process Algebra

进程代数上的抽象安全性质

Elements of Security Process Algebra

安全进程代数基础

Auto-Transformation of the Process Algebra Specification of Security Protocols into Logic Programs

安全协议的进程代数规约到逻辑程序的自动转换

We present the research about workflow model checking , and provide an idea of using Process Algebra in the fifth part .

第五部分是我们在工作流形式化建模型方面所做的理论探索和研究，提出了一种基于进程代数的工作流建模和验证方法，并通过简单实例证明了进程代数的验证能力。

Secondly , state recursion and retrospect of process algebra can be solved by dynamic construction of tree .

二是通过树的动态生成解决了进程代数的状态递归和回溯的问题；

The π - calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems .

π算是一种移动进程代数，可用于对并发和动态变化的系统进行建模。

Then , by analyzing the process algebra , the evaluation criterions and the approach of BPR are made ;

接着，分析过程代数式，提出流程的评价指标；

During the last decade many studies focus on functional analysis of systems using process algebra , almost no work deals with performance evaluation .

在过去的十几年里，大多数研究主要集中在用进程代数对系统进行功能分析，很少涉及性能评价。

LOTOS is a process algebra fit for describing and verifying temporal specifications of embedded software .

LOTOS是一种适合于描述与验证嵌入式软件时序规约的进程代数方法。

It was introduced syntax and operational semantics of π - calculus and the system was described as expression of process algebra .

在简单介绍π-演算的语法和操作语义的基础上，用进程表达式对整个系统进行形式化的描述；

In this paper , a process algebra gased new human computer-interaction approach for BPR has been proposed .

本文提出基于过程代数的人机交互式的业务流程重组方法。

Metric Denotational Semantics for Probabilistic Process Algebra

概率进程代数的度量指称语义

FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs .

FSP是一类描述并发程序形式化规约的进程代数记法。

For developing concurrent distributed system , process algebra based model checking is widely considered as a feasible and important approach to reducing errors and increasing system reliability .

在分布式并发系统构造过程中，基于进程代数的并发系统模型检测是一种行之有效的减少设计错误、提高系统可靠性的重要途径。

It is introduced a parallel composition testing technique based on process algebra , which can be used to test and analyze complex systems with reasonable computing time and space .

研究了基于进程代数的并行复合测试技术，其能够在合理的时间和空间计算范围内对大型复杂系统进行测试与分析，而避免了状态空间爆炸问题。

To reveal timing covert information flow of intransitive secure policy , we analyze the real-time intransitive information flow security properties based on process algebra .

为了揭示安全降密等非传递安全策略系统中的隐蔽时间信息流，本文基于进程代数方法分析了非传递无干扰时间信息流的安全属性。